显式程序谓词explicit: adj. 1.明白的,明确的 (opp. implici ...predicate: n. 1.【语法】谓语,述语。 2.【逻辑学】谓项,述项 ...program predicate: 程序谓词explicit program: 明细计划; 显程序; 显式程序implicit program predicate: 隐式程序谓词下载手机词典可随时随地查词查翻译